 |
0
索取号：TP302.2/E802
作者：Symposium on the Theory and Applications of Multiple-Valued Logic Design (1971 : Buffalo、 N.Y.)、State University of New York at Buffalo.、United States. Office of Naval Research.、
出版社：[s. l. : s. n., 1971?].
| |
0
索取号：TP302-53/E801/10
作者：Asilomar Conference on Circuits、 Systems、 and Computers (10th : 1976 : Pacific Grove、 Calif.)、Titus、 Harold A.、University of Santa Clara.、Naval Postgraduate School (U.S.)、Institute of Electrical and Electronics Engineers. San Francisco Section、
出版社：North Hollywood, Calif. : [Distributed by] Western Periodicals Co., c1977.
|
|
0
索取号：TP302-53/E801/8
作者：Asilomar Conference on Circuits、 Systems、 and Computers (8th : 1974 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.).、University of Santa Clara.、
出版社：North Hollywood, Calif. : [Distributed by] Western Periodicals Co., c1975.
| |
0
索取号：TP302-53/E801/7
作者：Asilomar Conference on Circuits、 Systems and Computers (7th : 1973 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、
出版社：[North Hollywood, Calif. : Western Periodicals Company, 1974]
|
|
0
索取号：TP302-53/E801/6
作者：Asilomar Conference on Circuits and Systems (6th : 1972 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、
出版社：New York : IEEE, 1972.
| |
0
索取号：TP302-53/E801/5
作者：Asilomar Conference on Circuits and Systems (5th : 1971 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、
出版社：[North Hollywood, Calif. : Western Periodicals Company, 1972]
|
|
0
索取号：TP302-53/E907/1984
作者：IEEE International Conference on Computer Design (1984 : Port Chester、 N.Y.)、IEEE Computer Society.、IEEE Circuits and Systems Society.、International Federation for Information Processing.、
出版社：Silver Spring, MD : IEEE Computer Society Press, c1984.
| |
0
索取号：O24-53/E803/5
作者：ACM Symposium on Theory of Computing (5th : 1973 : Austin、 Tex.)、ACM Special Interest Group for Automata and Computability Theory.、ACM Digital Library.、
出版社：New York : Association for Computing Machinery, 1973.
|
|
0
索取号：O24-53/E803/3
作者：ACM Symposium on Theory of Computing (3rd : 1971 : Shaker Heights、 Ohio)、ACM Special Interest Group for Automata and Computability Theory.、ACM Digital Library.、
出版社：New York : ACM, Special Interest Group for Automata and Computability Theory, 1971.
| |
0
索取号：O24-53/E803/1969
作者：ACM Symposium on Theory of Computing (1969 : Marina del Rey、 Calif.)、Association for Computing Machinery. Special Interest Committee for Automata and Computability.、
出版社：New York, Available from ACM Order Dept. [1969].
|
|
0
索取号：TP3-55/E904
作者：
出版社：Berlin ; New York : Springer-Verlag, c1985.
| |
0
索取号：TP3-55/E906
作者：Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、
出版社：Berlin ; New York : Springer-Verlag, 1984.
|
|
0
索取号：TP3-53/E9031/1982
作者：Conference on Operating Systems (1982 : Visegrâad、 Hungary)、Knuth、 E. (Elîod)、 1943-、Neuhold、 Erich J.、
出版社：Berlin ; New York : Springer-Verlag, 1983.
| |
0
索取号：TP3-53/E8015/6
作者：
出版社：Berlin ; New York : Springer-Verlag, 1982.
|
|
0
索取号：TP3-53/E8014/1981
作者：Symposium on Mathematical Foundations of Computer Science (1972- ) (10th : 1981 : Štrbské Pleso、 Czechoslovakia)、Gruska、 Jozef.、Chytil、 Michal.、
出版社：Berlin ; New York : Springer-Verlag, 1981.
| |
0
索取号：TP3-55/E908
作者：Casanova、 Marco Antonio.、
出版社：Berlin ; New York : Springer, 1981.
|
粤公网安备 44030602003680号